A Robust Method for Pitch Tracking in the Frequency Following Response using Harmonic Amplitude Summation Filterbank
arxiv.org·10h
🌈Spectral Audio
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
daily quizzz
dev.to·1h·
Discuss: DEV
λLambda Encodings
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
How much slower is random access, really?
samestep.com·1d·
Discuss: Hacker News
📼Tape Encoding
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
ML in the Home
blog.raymond.burkholder.net·1d
📈Time Series
Programming by Backprop: LLMs Acquire Reusable Algorithmic Abstractions During Code Training
arxiv.org·1d
💻Local LLMs
Algebraic Structures in Microtonal Music
arxiv.org·1d
🎼Computational Musicology
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Suno 4.5 VS Google’s Lyria 2: Which is Better
dev.to·27m·
Discuss: DEV
🎵Audio Streaming
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·41m·
Discuss: DEV
🧠Machine Learning
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·22h·
Discuss: Hacker News
💻Local LLMs
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·6h
⬆️Lambda Lifting
UltraSketchLLM: Saliency-Driven Sketching for Ultra-Low Bit LLM Compression
arxiv.org·1d
🗜️LZW Variants
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
The Guide to the Foundation Models Framework
azamsharp.com·58m·
Discuss: Hacker News
λLambda Formalization
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·10h
💻Local LLMs